The Einstein–Podolsky–Rosen–Bohm (EPRB) experiment performed with random variable and spatially separated analyzers is a milestone test in the controversy between Objective Local Theories (OLT) and Quantum Mechanics (QM). Only a few OLT are still possible. Some of the surviving OLT (specifically, the so called non-ergodic theories) would be undetectable in the averaged statistical values, but they may leave their trace in the time dynamics. For, while QM predicts random processes, the OLT of this kind predict the existence of regularities that (...) may be revealed as a low dimensional object in the phase space. We perform a numerical analysis of the time-resolved data recorded in that experiment to unveil any hypothetical low dimensional dynamics that may be present. We find no consistent indication of such dynamics except for one data file, the longest of all in the real time. The possible causes of these dynamics are discussed. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of (...) Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

Belnap–Dunn’s relevance logic, \(\textsf{BD}\), was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or incomplete pieces of information. \(\textsf{BD}\) is a four-valued logic which is both paraconsistent and paracomplete. On the other hand, De and Omori, while investigating what classical negation amounts to in a paracomplete and paraconsistent four-valued setting, proposed the expansion \(\textsf{BD2}\) of the four valued Belnap–Dunn logic by a classical negation. In this paper, we introduce a four-valued expansion (...) of BD called \({\textsf{BD}^\copyright }\), obtained by adding an unary connective \({\copyright }\,\ \) which is a consistency operator (in the sense of the Logics of Formal Inconsistency, _LFI_s). In addition, this operator is the unique one with the following features: it extends to \(\textsf{BD}\) the consistency operator of LFI1, a well-known three-valued _LFI_, still satisfying axiom _ciw_ (which states that any sentence is either consistent or contradictory), and allowing to define an undeterminedness operator (in the sense of Logic of Formal Undeterminedness, _LFU_s). Moreover, \({\textsf{BD}^\copyright }\) is maximal w.r.t. LFI1, and it is proved to be equivalent to BD2, up to signature. After presenting a natural Hilbert-style characterization of \({\textsf{BD}^\copyright }\) obtained by means of twist-structures semantics, we propose a first-order version of \({\textsf{BD}^\copyright }\) called \({\textsf{QBD}^\copyright }\), with semantics based on an appropriate notion of four-valued Tarskian-like structures called \(\textbf{4}\) -structures. We show that in \({\textsf{QBD}^\copyright }\), the existential and universal quantifiers are interdefinable in terms of the paracomplete and paraconsistent negation, and not by means of the classical negation. Finally, a Hilbert-style calculus for \({\textsf{QBD}^\copyright }\) is presented, proving the corresponding soundness and completeness theorems. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 34.4 (2001) 275-291 [Access article in PDF] The Conceptual Unity of Aristotle's Rhetoric 1 - [PDF] Alan G. Gross and Marcelo Dascal The standard view--that the Rhetoric lacks conceptual unity--has strong and prestigious support, stretching over most of the century. To David Ross in 1923 the unity of the Rhetoric was practical, not theoretical; to misunderstand this fact was to see this work, mistakenly, as (...) "a curious jumble of literary criticism with second-rate logic, ethics, and politics, and jurisprudence, mixed with the cunning of one who knows well how the weaknesses of the human heart are to be played upon" (285). So unaltered has been this view over the years that, in 1995, Jonathan Barnes could turn Ross's metaphor into an argument concerning the Rhetoric's lack of intellectual focus: it presents, not one art, but fragments of three arts, and of three arts that exist quite independently of rhetoric. The sections on logic have the closest connections with dialectic and in part overlap with what Aristotle says in the Topics; the sections on the emotions are linked to the ethical and psychological writings; Book III... shares its subject matter with the Poetics. Rhetoric... is a magpie, thieving a piece of one art and a piece of another, and then botching a nest of its own. (Companion 263-64) To Ross and Barnes, while logos, êthos, and pathos are essential to rhetorical invention, and style and arrangement are essential to rhetorical performance, they have nothing conceptually in common. Insofar as disciplinary identity depends on such conceptual unity, rhetorical studies lack such identity.William Grimaldi offers an alternate view; beneath Ross's jumble, he sees as the work's fundamental unifying principle, the enthymeme, which serves both as a form of argument and as a source for arguments about fact, character, and emotion. On this view, the factual content of a rhetorical argument is structured logically, a structure that is then molded linguistically [End Page 275] by means of êthos and pathos to suit the requirements of the particular case: "The content of... statements, the manner in which propositions will be expressed, the language, and images in casting the statements will be determined by the topical examination of the ethos and pathos of [a] particular speaker-auditor's situation" (Commentary I, 335n). Grimaldi convinced no one that this was the case; as Jakob Wisse has pointed out, Grimaldi's interpretation takes unacceptable hermeneutic liberties (27-28); nothing in the Rhetoric supports his view of the enthymeme as the central organizing principle of the work.Although we agree that Grimaldi was mistaken, we would like to argue that he was correct in seeing inferential processes as the key to the Rhetoric's conceptual unity. We would like to claim, however, that, contrary to Grimaldi's view, each of the three pisteis is inference-based, as is the canon of style. Moreover, the canon of arrangement, while not inference-based for Aristotle, plays a vital role in strengthening the patterns of inference that speakers prefer; in addition, it can be inference-based, as Perleman and Olbrechts-Tyteca have shown. So much conceptual unity seems to us consistent with Aristotle's definition of rhetoric; if such unity exists, it would mean that Aristotle was correct in calling rhetoric a tekhnê, which was, like dialectic or medicine, a unified body of knowledge (1.1.2-1354a1-14)We are not going to argue that the text as we have it is conceptually unified; obviously, no text that contains inconsistent views and serious ambiguities can be unified and there is little doubt that the Rhetoric contains such inconsistencies and ambiguities. With the aid of current scholarship, however, we intend to construct from the text a consistent theory of persuasion with inference as its base. In our construction, we will add nothing to Aristotle. But we will omit some passages--especially, a crucial one in which he seems clearly to spurn emotional and ethical means of persuasion (1.1.3-1354a16-45). We will also prefer some interpretations--especially an... (shrink)

This book symposium comprises a précis of Nuno Venturinha’s Description of Situations: An Essay in Contextualist Epistemology together with four critical commentaries on different aspects of the book by Marcelo Carvalho, João Vergílio Gallerani Cuter, Marcos Silva and Darlei Dall’Agnol, and the author’s replies.

High-level improvising musicians master idiosyncratic gesture vocabularies that allow them to express themselves in unique ways. The full use of such vocabularies is nevertheless challenged when improvisers incorporate electronics in their performances. To control electronic sounds and effects, they typically use commercial interfaces whose physicality is likely to limit their freedom of movement. Based on Jim Black's descriptions of his ideal digital musical instrument, embodied improvisation gestures, and stage performance constraints, we develop the concept of a modular wearable MIDI interface (...) to closely meet the needs of professional improvisers, rather than proposing a new generic instrument that would require substantial practice to adapt improvisational techniques already acquired. Our research draws upon different bodies of knowledge, from theoretical principles on collaboration and embodiment to wearable interface design, in order to create a digital vest called Track It, Zip It that features two innovative on-body sensors. Allowing for sound control, these sensors are seamlessly integrated with Black's improvisational gesture vocabulary. We then detail the design process of three TIZI prototypes structured by the outcomes of a performance test with Black, a public performance by a novice improviser during the 2017 International Guthman Musical Instrument Competition, and measurements of sensor responses. After commenting on the strengths and weaknesses of the final TIZI prototype, we discuss how our interdisciplinary and collective process involving a world-class improviser at the very center of the design process can provide recommendations to designers who wish to create interfaces better adapted to high-level performers. Finally, we present our goals for the future creation of a wireless version of the vest for a female body based on Diana Policarpo's artistic vision. (shrink)

IntroductionTranscranial magnetic stimulation is a consolidated procedure for the treatment of depression, with several meta-analyses demonstrating its efficacy. Theta-burst stimulation is a modification of TMS with similar efficacy and shorter session duration. The geriatric population has many comorbidities and a high prevalence of depression, but few clinical trials are conducted specifically for this age group. TBS could be an option in this population, offering the advantages of few side effects and no pharmacological interactions. Therefore, our aim is to investigate the (...) efficacy of TBS in geriatric depression.Clinical trial registration[https://clinicaltrials.gov/ct2/], identifier [NCT04842929]. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

The acquisition and evolution of speech production, discourse and communication can be negatively impacted by brain malformations. We describe, for the first time, a case of developmental dynamic dysphasia (DDD) in a right-handed adolescent boy (subject D) with cortical malformations involving language-eloquent regions (inferior frontal gyrus) in both the left and the right hemispheres. Language evaluation revealed a markedly reduced verbal output affecting phonemic and semantic fluency, phrase and sentence generation and verbal communication in everyday life. Auditory comprehension, repetition, naming, (...) reading and spelling were relatively preserved, but executive function was impaired. Multimodal neuroimaging showed a malformed cerebral cortex with atypical configuration and placement of white matter tracts bilaterally and abnormal callosal fibers. Dichotic listening showed right hemisphere dominance for language and functional magnetic resonance imaging (fMRI) additionally revealed dissociated hemispheric language representation with right frontal activation for phonology and bilateral dominance for semantic processing. Moreover, subject D also had congenital mirror movements (CMM), defined as involuntary movements of one side of the body that mirror intentional movements of the other side. Transcranial magnetic stimulation and fMRI during voluntary unimanual (left and right) hand movements showed bilateral motor cortex recruitment and tractography revealed a lack of decussation of bilateral corticospinal tracts. Genetic testing aimed to detect mutations that disrupt the development of commissural tracts correlating with CMM (e.g., Germline DCC mutations) was negative. Overall, our findings suggest that DDD in subject D resulted from the underdevelopment of the left inferior frontal gyrus with limited capacity for plastic reorganization by its homologous counterpart in the right hemisphere. Corpus callosum anomalies probably contributed to hinder interhemispheric connectivity necessary to compensate language and communication deficits after left frontal involvement. (shrink)

In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between (...) G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics. (shrink)

Johann Gottlieb Fichte, der wohl abstrakteste Vertreter des deutschen Idealismus, war, trotz seiner poetischen Versuche und seiner Beziehungen zu den Frühromantikern, kein Dichter. Doch vertrat er eine Art des Philosophierens, die, weit entfernt von jeder gelehrten Vielwisserei, zur philosophischen Kunst tendiert. Fichte berührte in seiner Wissenschaftslehre genannten Philosophie eine Qualität des Denkens, die zwar den vielfältigsten Mißverständnissen und Verkennungen verfallen mußte, die ihn aber durch den ihr eigenen schöpferischen Zug in die Nähe Goethes rückte. Er selber sah in Goethe zum (...) einen die »edelste Blüte der Humanität, welche die Natur nur einmal unter dem griechischen Himmel hervorgetrieben hatte, durch ein Wunder im Norden wiederholt«, zum anderen aber auch jemanden, dem sich durch die Kunst der Sinn für eine tiefere, sonst nur der philosophischen Reflexion zugängliche Form des Denkens erschlossen hatte. (shrink)

Johann Gottlieb Fichte, der wohl abstrakteste Vertreter des deutschen Idealismus, war, trotz seiner poetischen Versuche und seiner Beziehungen zu den Frühromantikern, kein Dichter. Doch vertrat er eine Art des Philosophierens, die, weit entfernt von jeder gelehrten Vielwisserei, zur philosophischen Kunst tendiert. Fichte berührte in seiner Wissenschaftslehre genannten Philosophie eine Qualität des Denkens, die zwar den vielfältigsten Mißverständnissen und Verkennungen verfallen mußte, die ihn aber durch den ihr eigenen schöpferischen Zug in die Nähe Goethes rückte. Er selber sah in Goethe zum (...) einen die »edelste Blüte der Humanität, welche die Natur nur einmal unter dem griechischen Himmel hervorgetrieben hatte, durch ein Wunder im Norden wiederholt«, zum anderen aber auch jemanden, dem sich durch die Kunst der Sinn für eine tiefere, sonst nur der philosophischen Reflexion zugängliche Form des Denkens erschlossen hatte. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y pluralista (...) se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. (shrink)

RESUMEN El artículo presenta la “inmanencia práctica” como clave de la ética que G. Deleuze elabora a partir de B. Spinoza y F. Nietzsche. La noción involucra tres tesis que manifiestan la reivindicación incondicional de la inmanencia y la crítica a toda trascendencia: valorización del cuerpo en detrimento de la conciencia; apelación a lo bueno y lo malo, en lugar del bien y el mal; y apología de la alegría e inocencia del devenir. Se sostiene que esta ética naturalista y (...) pluralista se apoya en criterios de valoración ligados a la vida como punto fundamental de apreciación, y se propone la creación de nuevas maneras de ser como medio de enfrentar al sistema del juicio moral sobre el que descansa el nihilismo. ABSTRACT The article presents ‘practical immanence’ as the key to the ethics developed by G. Deleuze on the basis of B. Spinoza and F. Nietzsche. This notion involves three theses that show the unconditional vindication of immanence and the critique of all transcendence: affirmation of the body over consciousness; appealing to the good things and the bad things rather than to good and evil; and the defense of the joy and innocence of becoming. The article argues that this naturalistic and pluralistic ethics is grounded in assessment criteria linked to life as the focal point of appreciation, and suggests the creation of new ways of being as a means to tackle the system of moral judgment on which nihilism is based. (shrink)

Open peer commentary on the article “The Autopoiesis of Social Systems and its Criticisms” by Hugo Cadenas & Marcelo Arnold. Upshot: I discuss two aspects of Cadenas & Arnold’s target article. The first concerns some clarifications of the sociological importance of the concept of autopoiesis and the second the criticisms of this concept and its applications in the social sciences.

The problem of knowledge evolution has received considerable attention over the years. Mainly, the study of the dynamics of knowledge has been addressed in the area of Belief Revision, a field emerging as the convergence of the efforts in Philosophy, Logic, and more recently Computer Science, where research efforts usually involve “flat” knowledge bases where there is no additional information about the formulas stored in it. Even when this may be a good fit for particular applications, in many real-world scenarios (...) different information items may be attached to formulas. For instance, when the reliability of the source of the piece of information is attached to it as a measure of some quality (e.g., strength) of the piece of information itself, or when some characteristic informs us on the desirability of the item (e.g., the potential benefit that could be obtained from it). If this type of information is available, we can use it to guide how the belief base is to be modified when new information arrives. In this work, we present a novel approach to the contraction of knowledge bases where formulas have values attached that measure some quality linked to those formulas, exploiting it to define their desirability, and uses such desirability to define which formulas need to be removed to solve conflicts. In this context, we introduce a set of properties for contraction operators by extending classic approaches. We also show how the local treatment of minimal conflicts can induce some counter-intuitive contractions, and we present a way to avoid them by considering optimal resolutions of conflicts using the additional information encoded. We show how the proposed formalization captures any contraction that is optimal under a set of features. Finally, we present a refinement based on the identification of related minimal conflicts that performs contraction in optimal ways without looking into the entire knowledge base. The approach is based on the use of the accrual of beliefs where several formulas collaboratively use their respective values to prevail in the resolution of conflicts. (shrink)

The term “Cartesianism” is commonly applied to a wide range of philosophical and scientific doctrines. The question of what constitutes the spirit or essence of Cartesianism – providing a common core for the works of Descartes, Arnauld, Rohault, La Forge, Régis, Spinoza, Le Grand or Malebranche, among others – has elicited a great variety of answers. Without attempting a comprehensive response to the question, I begin by presenting some main presuppositions and goals commonly attributed to Descartes and other Cartesian doctrines (...) – both by their proponents and opponents. A fundamental Cartesian postulate concerns the metaphysical dualism of body and mind. Thoughts (e.g., ideas, volitions and judgments) are regarded by Descartes as modifications of the mind, whereas extension, size, shape, motion or rest are modifications of matter. According to the Cartesian “way of ideas,” the mind is directly acquainted only with its own modifications, and the objects external to the mind are known only through the mediation of ideas. External reality is viewed as given independently of any individual subjective consciousness. Although Descartes was not the first to posit this view, he invested it with a new meaning in his novel conception of the human mind. Within this framework, the Cartesian subject has been viewed mainly as an observer – one who can only represent independent reality rather than constitute it. Some indication of this view may be found in the third part of the.. (shrink)

Academic institutions aim at achieving the highest standards of education and learning. Consequently, they prohibit academic corruption such as cheating or plagiarism. This article examines how international accreditation and quality assurance standards embody academic integrity as a main factor in deciding whether an academic institution should be accredited, and what ranking should an academic institution acquire in a competitive contest for educational excellence. Academic integrity is broadly defined to include, in addition to cheating and plagiarism, compliance with standards of human (...) rights, labor rights, corporate social responsibility, ant-corruption measures, environmental protection, social media usage, protection of underage students, anti-radicalization and extremism, avoidance of conflict of interest, faculty professionalism, students codes of conduct and human experimentation. Academic institutions should adopt policies that are designed to address these diverse standards and accommodate diversity and enhance access to education for all without discrimination. Academic institutions should also strictly require the highest standards in teaching and research. This article will discuss the different policies, laws, rules and regulations adopted by Qatar University as a model for incorporating academic integrity, which may be of interest to the international higher education community. This article will ask two main questions; are accrediting institutions asking the right questions to find out whether an academic institution strictly adheres to a policy of academic integrity, and whether policies adopted by academic institutions, Qatar University as a model, are adequate to address various violations of academic integrity. (shrink)

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

To understand power relations, it is important to consider that power is an attribute, and whoever has it at a given moment is in the condition of dominant and whoever is under its exercise is dominated. Moreover, we must consider that these positions are interchangeable, changing when relations of force change. Power relations represent the pursuit of supremacy through knowledge, with struggles for better positioning in the social structure. In this study, we analyze the effects of disciplinary power on daily (...) practices of nurses and physicians in the hospital environment, more specifically in intensive care units. From the perspective of disciplines, power is exercised in a discreet, modest, calculated and permanent way, through the establishment of rules and norms. In this context, despite the strong appreciation of a medical‐centered model, it is observed that nurses gain visibility through knowledge and the defense of institutional norms and rules, which can generate tensions in daily professional practices. (shrink)

We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...) like soundness, completeness, decidability, conservativeness and separation over linear flows of time. We then focus on the temporalisation of first-order logic, and a comparison is make with other first-order approaches to the handling of time. (shrink)

Presents spiritual reflections, thoughts, stories, and ideas intended to inspire readers to realize the immeasurable value of every moment of life, and to encourage them to conduct their lives accordingly.

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Kant’s critique/doctrine distinction tracks the difference between a canon for the understanding’s proper use and an organon for its dialectical misuse. The latter reflects the dogmatic use of reason to attain a doctrine of knowledge with no antecedent critique. In the 1790s, Fichte collapses Kant’s distinction and redefines dogmatism. He argues that deriving a canon is essentially dialectical and thus yields an organon: critical idealism is properly a doctrine of science or Wissenschaftslehre. Criticism is furthermore said to refute dogmatism, by (...) which Fichte means Spinozism. Schelling repudiates Fichte’s position in his Philosophical Letters by reviving Kant’s distinction. First, ‘critique’ for Schelling names a canon that is valid for all systems—including Spinozism—and thus favours none—not even the Wissenschaftslehre. Second, Schelling coins ‘dogmaticism’ to refer to what Kant calls ‘dogmatism’: reason’s uncritical claim to doctrine. Hence, he says all systems—even Fichte’s—are susceptible to the ‘enthusiasm’ of mistaking themselves for doctrines or ‘objects of knowledge’, instead of subjectively valid ‘objects of freedom’. I reconstruct Schelling’s argument for reviving Kant’s distinction, while noting two consequences for German idealism. First, if criticism favours no system, a system’s origin cannot be an act of knowledge, e.g., intellectual intuition, but only an act of endorsement. Second, if dogmaticism entails enthusiasm, a system’s goal cannot be absolute knowledge, but only infinite striving. Hence, by retrieving Schelling’s notion of dogmaticism, we can both gain a better understanding of the Letters and register the impact of a core Kantian distinction on the German idealist project. (shrink)

We provide a model in which students must choose whether or not to cheat on a course exam. By assuming that the moral cost of acting dishonestly decreases as the number of other people who behave in the same way increases, our model explains one important channel by which unethical behavior of other individuals can influence observers’ behavior. Through the use of the Global Games approach of equilibrium selection, we build a framework that provides the micro-foundations of peer effects on (...) academic dishonesty and shows how better student technology of cheating and higher disutility of effort make the cheating equilibrium more likely to be selected. By extending the model, we find that the peer effect strength is not affected by the level of homogeneity of the cohort, but decreases in the size of the class. Our approach may be seen as an important step towards reduced-form models of peer effects on dishonest behavior. (shrink)

But never let it be doubted that depression, in its extreme form, is madness. (Styron, 1990, p. 62)There is nothing wrong with our biology or our intelligence; sometimes we are just stuck. (Cvetkov...

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

From the early to mid-1970s, Michel Foucault posited that power consists of a relation rather than a substance and that this relation is comprised of unequal forces engaged in a warlike struggle against each other, resulting invariably in the domination of some forces over others. This understanding of power, which he retrospectively dubbed `Nietzsche's hypothesis' and `the model of war', underpinned his well-known analyses of disciplinary power. Yet, Foucault in his Collège de France course from the academic year 1975-6, `Society (...) Must Be Defended', suddenly began to call into question this understanding and his doubts about it did not abate well into the late 1970s. In this article, we suggest that his militant politics in the early 1970s sustained his adherence to the war model and that his more cautious political attitude later in the decade underpinned his suspicions about this model. Key Words: biopolitics • Henri de Boulainvilliers • Michel Foucault • Thomas Hobbes • militancy • F. W. Nietzsche • politics • power • race • war. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)